- инвариантное вложение
- invariant embedding
вложение в целом — global embedding
строгое вложение — strict embedding
теорема вложения — embedding theorem
оператор вложения — embedding operator
свойство совместного вложения — joint embedding property
Русско-английский словарь по информационным технологиям. 2015.